421. Parallel Processing and Applied Mathematics
پدیدآورنده : / Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
422. Parallel Processing and Applied Mathematics
پدیدآورنده : / Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
423. Parallel Processing and Applied Mathematics
پدیدآورنده : / Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waniewski
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
424. Parallel Processing and Applied Mathematics
پدیدآورنده : / Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waniewski
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
425. Parallel processing and applied mathematics :
پدیدآورنده : Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
426. Passive and active measurement
پدیدآورنده : Neil Spring, George F. Riley (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses,Engineering mathematics, Congresses,Information networks, Congresses,Internet-- Management, Congresses,Software measurement, Congresses
رده :
TK5105
.
5
.
P36
2011
427. Perspectives of System Informatics
پدیدآورنده : \ Andrei Voronkov, Irina Virbitskaite (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
758
.
P47
2015
E-Book
,
428. Perspectives on Software Requirements
پدیدآورنده : edited by Julio Cesar Sampaio Prado Leite, Jorge Horacio Doorn.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer-aided design.,Mathematics.,Software engineering.,Systems theory.
429. Physics for Programmers &Mathematics
پدیدآورنده : / Danny Kodicek, John P Flynt
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
430. Planetary spacecraft navigation /
پدیدآورنده : James Miller.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Astronautics.,Navigation (Astronautics),Space vehicles-- Control systems.,Aerospace Technology and Astronautics.,Mathematical Applications in Computer Science.,Software Engineering/Programming and Operating Systems.,Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics).,Aerospace & aviation technology.,Astronautics.,Astronautics.,Computers-- Software Development & Engineering-- General.,Mathematics-- Applied.,Navigation (Astronautics),Science-- Astrophysics & Space Science.,Space vehicles-- Control systems.,Technology & Engineering-- Aeronautics & Astronautics.
رده :
TL1065
.
M55
2019
431. Practical augmented Lagrangian methods for constrained optimization
پدیدآورنده : / nezک Mario MartفErnesto G. Birgin, Jos
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
432. Practical foundations of business system specifications
پدیدآورنده : edited by Haim Kilov, independent consultant, Millington, NJ and Affiliate Professor, Stevens Institute of Technology, Hoboken, NJ, U.S.A., and Kenneth Baclawski, Associate Professor, College of Computer Science, Northeastern University, Boston, MA, U.S.A.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business -- Data processing.,Computer software -- Development.,Software engineering.
433. Practical three-way calibration /
پدیدآورنده : Alejandro Olivieri and Graciela M. Escandar, Rosario Institute of Chemistry (IQUIR-CONICET), Department of Analytical Chemistry, Faculty of Biochemcial and Pharmaceutical Sciences, National University of Rosario, Suipacha 531, Rosario (2000), Argentina
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Calibration,Chemometrics
رده :
QD75
.
4
.
C45
O45
2014
434. Principles of distributed systems :
پدیدآورنده : Antonio Fernández Anta, Giuseppe Lipari, Matthieu Roy (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses,Electronic data processing-- Distributed processing, Congresses
رده :
QA76
.
9
.
D5
O66
2011
435. Probabilistic safety assessment in the chemical and nuclear industries /
پدیدآورنده : Ralph R. Fullwood.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chemical plants-- Risk assessment.,Nuclear power plants-- Risk assessment.,Chemical plants-- Risk assessment.,HEALTH & FITNESS-- Safety.,Nuclear power plants-- Risk assessment.
رده :
TK9153
.
F853
2000eb
436. Problems and methodologies in mathematical software production; International Seminar held at Sorrento, Italy, November 3-8, 1980
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
6
.
I521
1980
437. 23, 2011. Proceedings-Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18
پدیدآورنده : / Andreas Distler, Muhammad Shah, Volker Sorge (auth.), James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING
رده :
E-BOOK
438. 23, 2010. Proceedings-bec City, Canada, June 21شMathematics of Program Construction: 10th International Conference, MPC 2010, Qu
پدیدآورنده : / chir Ktari (eds.)فo F. Ferreira (auth.), Claude Bolduc, Jules Desharnais, BعRoland Backhouse, Wei Chen, Jo
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
439. Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017) :
پدیدآورنده : editors, Liew-Kee Kor [and 3 others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer systems, Congresses.,Mathematics, Congresses.,Statistics, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mathematics.,Statistics.
رده :
QA76
.
24
440. Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012). Volume 5
پدیدآورنده : Yuhang Yang, Maode Ma, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks -- Congresses.,TECHNOLOGY & ENGINEERING -- Telecommunications.,Telecommunication systems -- Congresses.
